- non-initial situation
- не исходная ситуация
English-Russian dictionary of computer science and programming. 2013.
non-initial situation
Смотреть что такое "non-initial situation" в других словарях:
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
situation — [ sitɥasjɔ̃ ] n. f. • 1375 « position (des étoiles) »; de situer 1 ♦ (Concret) Rare Le fait d être en un lieu; manière dont une chose est disposée, située ou orientée. ⇒ emplacement, 1. lieu, position. ♢ (1447) Cour. Emplacement d un édifice, d… … Encyclopédie Universelle
initial — initial, iale, iaux [ inisjal, jo ] adj. et n. f. • 1130, rare av. fin XVIIe; lat. initialis, de initium « commencement » 1 ♦ Qui est au commencement, qui caractérise le commencement (de qqch.). État initial. ⇒ originel, primitif. Cause initiale … Encyclopédie Universelle
non — [ nɔ̃ ] adv. de négation • XIe; lat. non « ne » en position accentuée I ♦ Adv. 1 ♦ (Réponse négative, refus) « Je dois bien t ennuyer, Spark ? Non : pourquoi cela ? » (Musset). Non, rien à faire, n insistez pas. Non, non et non ! Mais non ! Non… … Encyclopédie Universelle
Non-revenue water — (NRW) is water that has been produced and is “lost” before it reaches the customer. Losses can be real losses (through leaks, sometimes also referred to as physical losses) or apparent losses (for example through theft or metering inaccuracies).… … Wikipedia
Non-English press of the Communist Party USA — This article is about publications of the Communist Party USA in languages other than English. For a similar list of the party s English language publications, see English language press of the Communist Party USA. During the nine decades since… … Wikipedia
Non-deterministic Turing machine — Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine Read only right moving Turing Machines Probabilistic Turing machine Multi track Turing machine Turing machine… … Wikipedia
Initial Benchmark Assessment Report — The Initial Benchmark Assessment Report (released July 12, 2007) was the interim report released by U.S. Army general David Petraeus on progress by the Iraqi government in the ongoing Iraq War. The report indicated that on eight of twenty… … Wikipedia
Non-geographical telephone numbers in the UK — In the United Kingdom, non geographical numbers (NGNs) are telephone numbers available for private sale which, rather than being assigned to a particular telephone line or circuit, provide callers with a contact number which gives no indication… … Wikipedia
Les plates-formes Non-C2 — Liaison 16 La Liaison 16 (L16) est un standard de liaison de donnée de l OTAN pour l échange d informations tactiques entre des unités militaires. Elle est définie par le STANAG 5516. Sa mise en œuvre opérationnelle est définie dans le document… … Wikipédia en Français
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
